Trees that Grow - mrsekut-p

Trees that Grow

Simon Peyton Jones

代数的データ型で定義された型を後から拡張する話

Open Type Synonym Familyを使って実現できる

https://mizunashi-mana.github.io/blog/posts/2019/11/trees-that-grow/

https://www.microsoft.com/en-us/research/publication/trees-that-grow/

https://www.microsoft.com/en-us/research/uploads/prod/2016/11/trees-that-grow.pdf

@lotz84_: Haskellでレコードの型を多相的にするメリットを、DBのデータを扱うデータ型を例に解説した記事

・単相型

・型変数

・HKD

・Tree That Grow

の順に緻密なモデリングが出来るようになっていく様子が書かれている

https://exploring-better-ways.bellroy.com/the-unreasonable-effectiveness-of-polymorphic-records.html

https://eng-blog.iij.ad.jp/archives/18900

ts

Tree-Decoration問題

https://qiita.com/dico_leque/items/3f71cc6a6c38ee8da569

ocaml